منابع مشابه
Multiplicative Transition Systems
The paper is concerned with algebras whose elements can be used to represent runs of a system from a state to a state. These algebras, called multiplicative transition systems, are categories with respect to a partial binary operation called composition. They can be characterized by axioms such that their elements and operations can be represented by partially ordered multisets of a certain typ...
متن کاملOn totally dual integral systems
Let A be a rational (m x n)-matrix and b be a rational m-vector. The linear system Ax< b is said to be totally dual integral (TDI) if for all integer n-vectors c, the linear program min{b’v: A’y= c; yr 0} has an integer-valued optimum solution if it has an optimum solution. The contents of this paper can be divided into three parts: First of all an attempt is made to characterize special classe...
متن کاملRecognizing Totally Dual Integral Systems is Hard
These are notes about Ding, Feng and Zang’s proof [5]. The proof of their result is not new, the only difference with them is the starting point: we work directly on their gadget graph encoding a SAT problem and not on more general graphs. This allows to shortcut some parts of the original proof that become superfluous. After proving their theorem I clarify some points about total dual integral...
متن کاملTotally Ordered Multicast in Large-Scale Systems
Totally ordered multicast protocols have proved to be extremely useful in supporting fault-tolerant distributed applications. This paper compares the performance of the two main classes of protocols providing total order in large-scale systems: token-site and symmetric protocols. The paper shows that both classes of protocols can exhibit a latency close to 2D, where D is the message transit del...
متن کاملExpanding automotive electronic systems - Computer
T he past four decades have witnessed an exponential increase in the number and sophistication of electronic systems in vehicles. Today, the cost of electronics in luxury vehicles can amount to more than 23 percent of the total manufacturing cost. Analysts estimate that more than 80 percent of all automotive innovation now stems from electronics. To gain an appreciation of the sea change in the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Linear Algebra and its Applications
سال: 2005
ISSN: 0024-3795
DOI: 10.1016/j.laa.2005.03.033